1. Logic Colloquium'90
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
BC
135
.
L576
1990
2. Logic Colloquium '90 : ASL summer meeting in helsinki
پدیدآورنده : J. Oikkonen,J.Vaananen )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L63a
1990